
@book{burris2006course,
  title={A Course in Universal Algebra-With 36 Illustrations},
  author={Burris, Stanley and Sankappanavar, Hanamantagida Pandappa},
  year={2006}
}

@article{richman2004equivalence,
  title={Equivalence of syllogisms},
  author={Richman, Fred},
  journal={Notre Dame Journal of Formal Logic},
  volume={45},
  number={4},
  pages={215--233},
  year={2004},
  publisher={University of Notre Dame}
}


@article{pagnan2012diagrammatic,
  title={A diagrammatic calculus of syllogisms},
  author={Pagnan, Ruggero},
  journal={Journal of Logic, Language and Information},
  volume={21},
  number={3},
  pages={347--364},
  year={2012},
  publisher={Springer}
}

@article{aristotle1984complete,
  title={The complete works of Aristotle},
  author={Aristotle, Jonathan Barnes},
  journal={The Complete Works of Aristotle: The Revised Oxford Translation},
  year={1984},
  publisher={Princeton University Press Princeton, NJ}
}

@article{abeles2007lewis,
  title={Lewis Carroll's visual logic},
  author={Abeles, Francine F},
  journal={History and philosophy of logic},
  volume={28},
  number={1},
  pages={1--17},
  year={2007},
  publisher={Taylor \& Francis}
}

@book{carroll1996complete,
  title={The Complete Illustrated Lewis Carroll},
  author={Carroll, Lewis},
  year={1996},
  publisher={Wordsworth Editions}
}

@book{lukasiewicz1951aristotle,
  title={Aristotle's syllogistic from the standpoint of modern logic},
  author={{\L}ukasiewicz, Jan},
  year={1951},
  publisher={Clarendon Press}
}

@article{burris2003fragment,
  title={A Fragment of Boole’s Algebraic Logic Suitable for Traditional Syllogistic Logic},
  author={Burris, Stanley},
  journal={Preprint},
  year={2003}
}


@article {SenturkOpen,
 AUTHOR = {Oner, Tahsin and Senturk, Ibrahim},
 TITLE = {The {S}heffer stroke operation reducts of basic algebras},
 JOURNAL = {Open Math.},
 FJOURNAL = {Open Mathematics},
 VOLUME = {15},
 YEAR = {2017},
 PAGES = {926--935},
 ISSN = {2391-5455},
MRCLASS = {06C15 (03G25 06D30)},
MRNUMBER = {3674103},
MRREVIEWER = {J\=anis C\=\i rulis},
DOI = {10.1515/math-2017-0075},
URL = {https://doi.org/10.1515/math-2017-0075},
}


@article{turunen2014algebraic,
  title={An algebraic study of Peterson’s Intermediate Syllogisms},
  author={Turunen, Esko},
  journal={Soft Computing},
  volume={18},
  number={12},
  pages={2431--2444},
  year={2014},
  publisher={Springer}
}

@inproceedings{kumova2010algorithmic,
  title={Algorithmic decision of syllogisms},
  author={Kumova, Bora {\.I} and {\c{C}}ak{\i}r, H{\"u}seyin},
  booktitle={International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems},
  pages={28--38},
  year={2010},
  organization={Springer}
}

@article{pratt2008computational,
  title={On the computational complexity of the numerically definite syllogistic and related logics},
  author={Pratt-Hartmann, Ian},
  journal={Bulletin of Symbolic Logic},
  volume={14},
  number={1},
  pages={1--28},
  year={2008},
  publisher={Cambridge University Press}
}

@article{kulik2001logic,
  title={The Logic of Natural Discourse},
  author={Kulik, BA},
  journal={Nevskiy Dialekt},
  year={2001}
}

@article{niittymaki2003traffic,
  title={Traffic signal control on similarity logic reasoning},
  author={Niittym{\"a}ki, Jarkko and Turunen, Esko},
  journal={Fuzzy Sets and Systems},
  volume={133},
  number={1},
  pages={109--131},
  year={2003},
  publisher={Elsevier}
}

@article{kryvyi2009analysis,
  title={To the analysis of natural languages objects},
  author={Kryvyi, SL and Palagin, AV},
  journal={Intelligent Processing},
  pages={36--43},
  year={2009}
}

@article{zadeh1985syllogistic,
  title={Syllogistic reasoning in fuzzy logic and its application to usuality and reasoning with dispositions},
  author={Zadeh, Lofti A},
  journal={IEEE Transactions on Systems, Man, and Cybernetics},
  number={6},
  pages={754--763},
  year={1985},
  publisher={IEEE}
}

@article{englebretsen1992linear,
  title={Linear Diagrams for Syllogisms (with Relatitonals).},
  author={Englebretsen, George and others},
  journal={Notre Dame Journal of Formal Logic},
  volume={33},
  number={1},
  pages={37--69},
  year={1992}
}

@inproceedings{rayside2001syllogistic,
  title={On the syllogistic structure of object-oriented programming},
  author={Rayside, Derek and Kontogiannis, Kostas},
  booktitle={Proceedings of the 23rd international conference on Software engineering},
  pages={113--122},
  year={2001},
  organization={IEEE Computer Society}
}

@article{kulinkovich1979algorithmization,
  title={Algorithmization of reasoning in solving geological problems},
  author={Kulinkovich, AE},
  journal={Proceedings of the Methodology of Geographical Sciences, Naukova Dumka},
  pages={145--161},
  year={1979}
}

@book{boole1854investigation,
  title={An investigation of the laws of thought: on which are founded the mathematical theories of logic and probabilities},
  author={Boole, George},
  year={1854},
  publisher={Dover Publications}
}

@article{chang1958algebraic,
  title={Algebraic analysis of many valued logics},
  author={Chang, Chen Chung},
  journal={Transactions of the American Mathematical society},
  volume={88},
  number={2},
  pages={467--490},
  year={1958}
}


@article{chang1959new,
  title={A new proof of the completeness of the {\L}ukasiewicz axioms},
  author={Chang, Chen Chung},
  journal={Transactions of the American Mathematical Society},
  volume={93},
  number={1},
  pages={74--80},
  year={1959}
}

@book{cignoli2013algebraic,
  title={Algebraic foundations of many-valued reasoning},
  author={Cignoli, Roberto L and d'Ottaviano, Itala M and Mundici, Daniele},
  volume={7},
  year={2013},
  publisher={Springer Science \& Business Media}
}

@article{tarski1938beitrag,
  title={Ein beitrag zur axiomatik der abelschen gruppen},
  author={Tarski, Alfred},
  journal={Fundamenta Mathematicae},
  volume={1},
  number={30},
  pages={253--256},
  year={1938}
}

@article{sheffer1913set,
  title={A set of five independent postulates for Boolean algebras, with application to logical constants},
  author={Sheffer, Henry Maurice},
  journal={Transactions of the American mathematical society},
  volume={14},
  number={4},
  pages={481--488},
  year={1913}
}

@article{mccune2002short,
  title={Short single axioms for Boolean algebra},
  author={McCune, William and Veroff, Robert and Fitelson, Branden and Harris, Kenneth and Feist, Andrew and Wos, Larry},
  journal={Journal of Automated Reasoning},
  volume={29},
  number={1},
  pages={1--16},
  year={2002},
  publisher={Springer}
}

@article{abbott1967semi,
  title={Semi-boolean algebra},
  author={Abbott, JC},
  journal={Matemati{\v{c}}ki Vesnik},
  volume={4},
  number={40},
  pages={177--198},
  year={1967},
  publisher={Dru{\v{s}}tvo matemati{\v{c}}ara Srbije}
}

@article{abbott1967implicational,
  title={Implicational algebras},
  author={Abbott, JC},
  journal={Bulletin math{\'e}matique de la Soci{\'e}t{\'e} des Sciences Math{\'e}matiques de la R{\'e}publique Socialiste de Roumanie},
  volume={11},
  number={1},
  pages={3--23},
  year={1967},
  publisher={JSTOR}
}

@article{chajda2005implication,
  title={An implication in orthologic},
  author={Chajda, I and Hala{\v{s}}, R},
  journal={International Journal of Theoretical Physics},
  volume={44},
  number={7},
  pages={735--744},
  year={2005},
  publisher={Springer}
}

@article{chajda2007orthomodular,
  title={Orthomodular semilattices},
  author={Chajda, Ivan},
  journal={Discrete mathematics},
  volume={307},
  number={1},
  pages={115--118},
  year={2007},
  publisher={Elsevier}
}

@article{chajda2001orthomodular,
  title={Orthomodular implication algebras},
  author={Chajda, Ivan and Halas, Radom{\'\i}r and L{\"a}nger, Helmut},
  journal={International Journal of Theoretical Physics},
  volume={40},
  number={11},
  pages={1875--1884},
  year={2001},
  publisher={Springer}
}

@article{chajda2004bounded,
  title={Bounded lattices with antitone involutions and properties of MV-algebras},
  author={Chajda, Ivan and Emanovsk{\`y}, Peter},
  journal={Discussiones Mathematicae-General Algebra and Applications},
  volume={24},
  number={1},
  pages={31--42},
  year={2004},
  publisher={Faculty of Mathematics, Computer Science and Econometrics, University of Zielona G{\'o}ra}
}

@article{chajda2003lattices,
  title={Lattices and semilattices having an antitone involution in every upper interval},
  author={Chajda, Ivan},
  journal={Comment. Math. Univ. Carolin},
  volume={44},
  number={4},
  pages={577--585},
  year={2003}
}

@article{chajda2013basic,
  title={Basic algebras (Clone Theory and Discrete Mathematics・Algebra and Logic Related to Computer Science)},
  author={Chajda, Ivan and Kuhr, Jan},
  year={2013},
  publisher={京都大学数理解析研究所}
}


@book{carroll1897symbolic,
  title={Symbolic Logic: Part 1, Elementary},
  author={Carroll, Lewis},
  year={1897},
  publisher={Macmillan}
}

@article{chajda2010implication,
  title={Implication and equivalential reducts of basic algebras},
  author={Chajda, Ivan and Kola{\v{r}}{\'\i}k, Miroslav and {\v{S}}vr{\v{c}}ek, Filip},
  journal={Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica},
  volume={49},
  number={2},
  pages={21--36},
  year={2010},
  publisher={Palack{\`y} University Olomouc}
}

@article{lukaszuk1975short,
  title={Short sheffer stroke-based single axiom for boolean algebras},
  author={{\L}ukaszuk, Aneta and Grabowski, Adam},
  journal={Formalized Mathematics},
  volume={12},
  pages={363--370},
  year={1975}
}

@article{chajda2015basic,
  title={Basic algebras, logics, trends and applications},
  author={Chajda, Ivan},
  journal={Asian-European Journal of Mathematics},
  volume={8},
  number={03},
  pages={1550040},
  year={2015},
  publisher={World Scientific}
}

@article{schumann2006lattice,
  title={A lattice for the language of Aristotle’s syllogistic and a lattice for the language of Vasil'{\'e}v’s syllogistic},
  author={Schumann, Andrew},
  journal={Logic and Logical Philosophy},
  volume={15},
  number={1},
  pages={17--37},
  year={2006}
}

@book{barnes2014complete,
  title={Complete works of Aristotle, volume 1: The revised Oxford translation},
  author={Barnes, Jonathan and others},
  volume={1},
  year={2014},
  publisher={Princeton University Press}
}

@book{russell1993introduction,
  title={Introduction to mathematical philosophy},
  author={Russell, Bertrand},
  year={1993},
  publisher={Courier Corporation}
}

@article{ierodiakonou1996hypothetical,
  title={The Hypothetical Syllogisms in the Greek and Latin Medieval Traditions},
  author={Ierodiakonou, Katerina},
  year={1996}
}

@article{johnson1980mental,
  title={Mental models in cognitive science},
  author={Johnson-Laird, Philip Nicholas},
  journal={Cognitive science},
  volume={4},
  number={1},
  pages={71--115},
  year={1980},
  publisher={Elsevier}
}

@book{ebbinghaus2013mathematical,
  title={Mathematical logic},
  author={Ebbinghaus, H-D and Flum, J{\"o}rg and Thomas, Wolfgang},
  year={2013},
  publisher={Springer Science \& Business Media}
}

@book{van2004logic,
  title={Logic and structure},
  author={Van Dalen, Dirk},
  year={2004},
  publisher={Springer}
}

@book{birkhoff1940lattice,
  title={Lattice theory},
  author={Birkhoff, Garrett},
  volume={25},
  year={1940},
  publisher={American Mathematical Soc.}
}

@book{roman2008lattices,
  title={Lattices and ordered sets},
  author={Roman, Steven},
  year={2008},
  publisher={Springer Science \& Business Media}
}

@article{kulinkovich1979algorithmization,
  title={Algorithmization of reasoning in solving geological problems},
  author={Kulinkovich, AE},
  journal={Proceedings of the Methodology of Geographical Sciences, Naukova Dumka},
  pages={145--161},
  year={1979}
}

@book{boole1854investigation,
  title={An investigation of the laws of thought: on which are founded the mathematical theories of logic and probabilities},
  author={Boole, George},
  year={1854},
  publisher={Dover Publications}
}

@article{chajda2010implication,
  title={Implication and equivalential reducts of basic algebras},
  author={Chajda, Ivan and Kola{\v{r}}{\'\i}k, Miroslav and {\v{S}}vr{\v{c}}ek, Filip},
  journal={Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica},
  volume={49},
  number={2},
  pages={21--36},
  year={2010},
  publisher={Palack{\`y} University Olomouc}
}

